(* OCaml only allows special characters in the infix operator. So, the above function name cannot be applied be infix. *)
